Efficient communication and collection with compact normal forms
نویسندگان
چکیده
منابع مشابه
the relationship of wtc with communication apprehension and self-perceived communication competene in english and persian context
بیشتر تحقیقات پیشین در زمینه تمایل به برقراری ارتباط به رابطه آن با عوامل فردی چون سن، جنس، نوع شخصیت و... صورت گرفته است. در صورتی که مطالعات کمتری به بررسی رابطه تمایل به برقراری ارتباط زبان آموزان فارسی زبان با ترس از برقراری ارتباط و توانش خود ادراکانه آنها در برقراری ارتباط در محیط فارسی و انگلیسی انجام شده است. بر اساس نظریه الیس (2008) تمایل به برقراری ارتباط جایگاه مهمی در زمینه آموزش م...
15 صفحه اولPoincaré normal forms and simple compact Lie groups
We classify the possible behaviour of Poincaré-Dulac normal forms for dynamical systems in R with nonvanishing linear part and which are equivariant under (the fundamental representation of) all the simple compact Lie algebras and thus the corresponding simple compact Lie groups. The “renormalized forms” (in the sense of [22]) of these systems is also discussed; in this way we are able to simpl...
متن کاملIndex-Compact Garbage Collection
Automatic garbage collection is currently adopted by many object-oriented programming systems. Among the many variants, a markcompact garbage collector offers high space efficiency and cheap object allocation, but suffers from poor virtual memory interactions. It needs to linearly scan through the entire available heap, triggering many page faults which may lead to excessively long collection t...
متن کاملNormal Forms and
In this paper we present a framework for the combination of modal and temporal logic. This framework allows us to combine diier-ent normal forms, in particular, a separated normal form for temporal logic and a rst-order clausal form for modal logics. The calculus of the framework consists of temporal resolution rules and standard rst-order resolution rules. We show that the calculus provides a ...
متن کاملNormal Forms and Conservative Extension Properties for Query Languages over Collection Types
Strong normalization results are obtained for a general language for collection types. An induced normal form for sets and bags is then used to show that the class of functions whose input has height (that is, the maximal depth of nestings of sets/bags/lists in the complex object) at most i and output has height at most o de nable in a nested relational query language without powerset operator ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2015
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2858949.2784735